package model;

import choco.Constraint;

import common.MCore;

import expression.MObjectIdent;

public class MUndefinedObject extends MObject {
	protected MObjectIdent ident;

	public MUndefinedObject(MCore c, int i) {
		super(c);
		id = i;
		ident = new MObjectIdent(this);
	}
	
	public int getId() {
		return id;
	}
	
	public String toText() {
		return "Object[" + id + "]";
	}
	
	public Constraint exists() {
		return getCore().getProblem().eq(id, ident.getVariable());
	}
	
	public MObjectIdent getIdent() {
		return ident;
	}
}
